Nuprl Definition : ma-din
0,22
postcript
pdf
M
.din(
l
,
tg
) == 1of(2of(
M
))(rcv(
l
,
tg
))?Top
latex
clarification:
M
.din(
l
,
tg
) == fpf-cap(1of(2of(
M
));KindDeq;rcv(
l
,
tg
);Top)
latex
Definitions
f
(
x
)?
z
,
1of(
t
)
,
2of(
t
)
,
KindDeq
,
rcv(
l
,
tg
)
,
Top
FDL editor aliases
ma-din
origin